On Extensions of Intermediate Logics by Strong Negation
نویسنده
چکیده
In this paper we will study the properties of the least extension n(Λ) of a given intermediate logic Λ by a strong negation. It is shown that the mapping from Λ to n(Λ) is a homomorphism of complete lattices, preserving and reflecting finite model property, frame–completeness, interpolation and decidability. A general characterization of those constructive logics is given which are of the form n(Λ). This summarizes results that can be found already in [13, 14] and [4]. Furthermore, we determine the structure of the lattice of extensions of n(LC).
منابع مشابه
Description Logic and Order-sorted Logic
I have been studying the following work on description logic, which is closely related to my main work on extensions of order-sorted logic and logic programming [4, 3, 2]. Title: Negation in Description Logics: Contraries, Contradictories and Subcontraries (under submission) Abstract: We propose an alternative description logic ALC∼ with classical negation and strong negation. In particular, we...
متن کاملThe Craig interpolation theorem for prepositional logics with strong negation
This paper deals with propositional calculi with strong negation(N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them. " A propositional calculus with stro...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملT-norm-based logics with an independent involutive negation
In this paper we investigate the addition of arbitrary independent involutive negations to t-norm based logics. We deal with several extensions of MTL and establish general completeness results. Indeed, we will show that, given any t-norm based logic satisfying some basic properties, its extension by means of an involutive negation preserves algebraic and (finite) strong standard completeness. ...
متن کاملAdmissible rules in the implication-negation fragment of intuitionistic logic
Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic IPC and its consistent axiomatic extensions (intermediate logics). A Kripke semantics characterization is given for the (hereditarily) structurally complete implication–negation fragments of intermediate logics, and it is shown that ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Philosophical Logic
دوره 27 شماره
صفحات -
تاریخ انتشار 1998